Axiomatizing geometric constructions

Investigation of geometric parameters of seawalls on the amount of earth subsidence and its horizontal displacement by FLAC 3D software

Seawalls are built for Protecting of beaches against waves and preventing the progression of water to the beach. For a proper understanding about these constructions, a suiTable information about applied loads on these constructions should be existed. One of the important load that applied on these constructions is sea wave. Others loads are included: weight force of the walls, weight force of ...

Axiomatizing Semantic Theories of Truth?

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criteri...

Lang, Origami and Geometric Constructions Origami and Geometric Constructions Introduction

Geometry Construction Recognition by the Use of Semantic Graphs

Given the large number of dynamic geometry systems (DGS), geometry automated theorem provers (GATP) and repositories of geometric information (constructions and/or conjectures), we face the need of a query mechanism for formal descriptions of geometric constructions. The DGS and GATP describe the geometric constructions using formal languages where the elements and the relations between them ar...

Axiomatizing Relativistic Dynamics without Conservation Postulates

A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein’s famous E = mc. The connection of our geometrical axioms and the usual axioms on the conservation of mass, m...